<div class="example-controls-container">
  <div class="controls">
    <button id="export-string">Export as a string</button>
  </div>
</div>
<div id="example3" class="ht-theme-main"></div>